symbolic mathematical system

符号数学系统